norm functional

范数泛函